منابع مشابه
Towards heterogeneous formal specifications
We believe that big software systems could be more easily formally specified if several specification approaches were allowed within a single system specification. We propose a notion of heterogeneous framework where the specifier can choose a dedicated specification framework for each specification module. We show how the resulting heterogeneous modular specifications can get semantics, and ho...
متن کاملAttempto - From Specifications in Controlled Natural Language towards Executable Specifications
Deriving formal specifications from informal requirements is difficult since one has to take into account the disparate conceptual worlds of the application domain and of software development. To bridge the conceptual gap we propose controlled natural language as a textual view on formal specifications in logic. The specification language Attempto Controlled English (ACE) is a subset of natural...
متن کاملTowards Abstraction for DynAlloy Specifications
DynAlloy is an extension of the Alloy language to better describe state change via actions and programs, in the style of dynamic logic. In this paper, we report on our experience in trying to provide abstraction based mechanisms for improving DynAlloy specifications with respect to SAT based analysis. The technique we employ is based on predicate abstraction, but due to the context in which we ...
متن کاملTowards a comprehensive treatment
Heart failure constitutes an increasing health hazard with major demands on health care resources. Recent major advances in drug treatment have yet to be translated into increased survival of heart failure patients in the community at large. Failure of diagnosis is a major factor in delaying early and adequate treatment. Echocardiography probably provides the most reliable and inexpensive instr...
متن کاملTowards Comprehensive Web Search
Towards Comprehensive Web Search by Erik Warren Selberg Chair of Supervisory Committee Associate Professor Oren Etzioni Department of Computer Science & Engineering The World Wide Web has rapidly become a key medium for information dissemination to all members of society. However, its disorganized nature and sheer size can make it difficult for people to find information. Web search services ha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1979
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/22.3.195